$\forall$${\it es}$:ES, ${\it Sys}$, ${\it Out}$:AbsInterface(Top), $f$:sys{-}antecedent(${\it es}$;${\it Sys}$), $e$:E(${\it Sys}$).
\\[0ex](E(${\it Out}$) $\subseteq$r E(${\it Sys}$)) $\Rightarrow$ (effective($e$) $\in$ $\mathbb{P}$)